1. Algebraic complexity theory: with the collaboration of Thomas Lickteig
پدیدآورنده: Burgisser, Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computational complexity,، Machine theory
رده :
QA
267
.
B813
1997
2. Algorithmic information theory
پدیدآورنده : Gregory J. Chaitin
موضوع : Machine theory,Computational complexity,LISP (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Algorithmic information theory
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algorithms,، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
9
.
58
.
C48
1987
4. Algorithmic information theory
پدیدآورنده: / Gregory J. Chaitin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory,Computational complexity,LISP (Computer program language)
رده :
E-BOOK
5. Automata, computability and complexity :
پدیدآورنده: Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
6. Classical and quantum computation /
پدیدآورنده: A. Yu. Kitaev, A.H. Shen, M.N. Vyalyi ; [translated from the Russian by Lester J. Senechal]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Machine theory,Quantum computers
رده :
QA267
.
K5713
2002
7. Classical and quantum computation, Klassicheskie i kvantovye vychisleniiIa.
پدیدآورنده: Kitaev, Alexei Yu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Machine theory,، Computational complexity,، Quantum computers
رده :
QA
267
.
K578
2002
8. Complex systems dynamics : an introduction to automata networks
پدیدآورنده: Weisbuch, G.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computational complexity,، Machine theory
رده :
QA
267
.
7
.
W4513
1990
9. Computability, Complexity, and Languages
پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,
10. Computability, complexity, and languages
پدیدآورنده: / Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
267
.
D38
1994
11. Computability, complexity, and languages :
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994
12. Computability, complexity, and languages
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983
13. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
14. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده : Davis, Martin
موضوع : ، Machine theory,، Computational complexity,، Formal languages
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
16. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
1994
17. Computation and automata
پدیدآورنده: Salomaa, Arto
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
18. Computation and automata
پدیدآورنده: Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
19. Computation and automata
پدیدآورنده: Salomaa, Arto, 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
20. Computation theory : Fifth Symposium, Zaborow, Poland, December 3-8, 1984: Proceedings
پدیدآورنده: edited by Andrzej Skowron
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
208
